Non-interactive zero-knowledge proof

Results: 39



#Item
11Non-interactive zero-knowledge proof / Mathematical proof / Zero-knowledge proof / Commitment scheme / Cryptography / Cryptographic protocols / Decision Linear assumption

Groth–Sahai proofs revisited E. Ghadafi, N.P. Smart, and B. Warinschi Dept. Computer Science, University of Bristol, Merchant Venturers Building, Woodland Road,

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2010-01-17 10:23:34
12Non-interactive zero-knowledge proof / Zero-knowledge proof / Proof-of-work system / Proof of knowledge / Random oracle / Commitment scheme / Cryptographic nonce / NP / IP / Cryptography / Cryptographic protocols / Bitcoin

Rational Zero: Economic Security for Zerocoin with Everlasting Anonymity Christina Garman, Matthew Green, Ian Miers, and Aviel D. Rubin The Johns Hopkins University Department of Computer Science, Baltimore, USA {cgarman

Add to Reading List

Source URL: fc14.ifca.ai

Language: English - Date: 2014-02-18 12:20:10
13Fourier analysis / Unitary operators / Proof of knowledge / Zero-knowledge proof / NP / IP / Non-interactive zero-knowledge proof / Homomorphic encryption / Discrete Fourier transform / Cryptography / Cryptographic protocols / Mathematical analysis

Verifiable Rotation of Homomorphic Encryptions ˇ Sebastiaan de Hoogh, Berry Schoenmakers, Boris Skori´ c, and Jos´e Villegas Dept. of Mathematics and Computer Science, TU Eindhoven P.O. Box 513, 5600 MB Eindhoven, The

Add to Reading List

Source URL: members.home.nl

Language: English - Date: 2009-04-16 16:25:39
14Non-interactive zero-knowledge proof / Zero-knowledge proof / IP / Commitment scheme / Alice and Bob / NP / Public-key cryptography / Formal verification / Digital signature / Cryptography / Cryptographic protocols / Proof of knowledge

Vis-`a-vis Cryptography: Private and Trustworthy In-Person Certifications Ian Miers∗ Matthew Green∗ Christoph U. Lehmann, MD†

Add to Reading List

Source URL: sharps.org

Language: English - Date: 2012-10-09 12:57:09
15Cryptographic protocols / Computational complexity theory / Proof theory / Complexity classes / Combinatorics / Interactive proof system / IP / Soundness / Non-interactive zero-knowledge proof / Theoretical computer science / Cryptography / Applied mathematics

Basing Non-Interactive Zero-Knowledge on (Enhanced) Trapdoor Permutations: The State of the art Oded Goldreich Abstract. The purpose of this article is to correct the inaccurate account of this subject that is provided

Add to Reading List

Source URL: www.wisdom.weizmann.ac.il

Language: English - Date: 2010-07-22 08:07:12
16Interactive proof system / Non-interactive zero-knowledge proof / Proof of knowledge / IP / Soundness / Zero-knowledge proof / NP / Random oracle / Oracle machine / Cryptography / Theoretical computer science / Cryptographic protocols

On The (In)security Of Fischlin’s Paradigm P RABHANJAN A NANTH Microsoft Research India V IPUL G OYAL Microsoft Research India

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2012-12-24 10:18:26
17Computational complexity theory / IP / Proof of knowledge / Zero-knowledge proof / NP / Probabilistically checkable proof / Soundness / Formal verification / Snark / Theoretical computer science / Applied mathematics / Cryptographic protocols

Succinct Non-Interactive Arguments via Linear Interactive Proofs Nir Bitansky∗ Tel Aviv University Alessandro Chiesa MIT

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2013-09-15 12:03:01
18Zero-knowledge proof / Proof of knowledge / Interactive proof system / IP / Soundness / NP / Random oracle / Probabilistically checkable proof / Fiat-Shamir heuristic / Cryptography / Cryptographic protocols / Non-interactive zero-knowledge proof

An extended abstract of this paper is published in the proceedings of the 13th International Conference on Cryptology in India [21] – IndocryptThis is the full version. On the Non-malleability of the Fiat-Shamir

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2012-12-16 15:16:50
19Non-interactive zero-knowledge proof / Zero-knowledge proof / Proof-of-work system / Proof of knowledge / Random oracle / Commitment scheme / Cryptographic nonce / NP / IP / Cryptography / Cryptographic protocols / Bitcoin

Rational Zero: Economic Security for Zerocoin with Everlasting Anonymity Christina Garman, Matthew Green, Ian Miers, and Aviel D. Rubin The Johns Hopkins University Department of Computer Science, Baltimore, USA {cgarman

Add to Reading List

Source URL: hms.isi.jhu.edu

Language: English - Date: 2014-02-05 02:14:18
20Cryptographic protocols / Zero-knowledge proof / Proof of knowledge / Non-interactive zero-knowledge proof / IP / ZK / Snark / NP / Mathematical proof / Theoretical computer science / Graph theory / Cryptography

Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture Eli Ben-Sasson Alessandro Chiesa

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2015-05-09 17:46:15
UPDATE